* Makefile.in (install-arch-indep): If the versioned DOC-####
authorKen Raeburn <raeburn@raeburn.org>
Sun, 23 Aug 2009 03:54:32 +0000 (03:54 +0000)
committerKen Raeburn <raeburn@raeburn.org>
Sun, 23 Aug 2009 03:54:32 +0000 (03:54 +0000)
commitc9f2c6d882a88a331536e9868195d684db9a7826
treee2f83e23ff831f86112ac966113424e662528e4e
parent10b9561ca0627fb8cba1e8fd515b2cd080858f9a
* Makefile.in (install-arch-indep): If the versioned DOC-####
generated during loadup+dump isn't found, install the plain DOC
file that always gets generated, in case CANNOT_DUMP is set.
ChangeLog
Makefile.in